Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
81	An Introduction to Program Verification with the Coq Proof Assistant NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-04 20:56:12 Mathematical logic Proof theory Dependently typed programming Lambda calculus Logic in computer science Coq Curry–Howard correspondence Natural deduction Dependent type Programming language theory Type theory Mathematics
82	Under consideration for publication in J. Functional Programming 1 Parametricity, Type Equality and Higher-order Polymorphism Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:07 Mathematics Computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Parametricity Logic Type theory Proof theory Logic in computer science
83	Type-Safe Cast Stephanie Weirich ∗ Department of Computer Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Program analysis Type system Lambda calculus Function Symbol Curry–Howard correspondence Mathematics Mathematical logic Type theory
84	On the characterization of models of H ∗ Flavien Breuvart ∗ PPS, UMR 7126, Univ Paris Diderot, LIPN, UMR 7030, Univ Paris Nord, Sorbonne Paris Cit´e Abstract Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-05-14 11:54:52 Models of computation Mathematics Lambda calculus Symbol Combinatory logic Denotational semantics Spectral theory of ordinary differential equations Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
85	Flexible Type Analysis∗ Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Programming language theory Mathematics Type constructor Recursive data type Type system Turn Ordinal number Curry–Howard correspondence Type theory Mathematical logic Data types
86	Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:16 Logic in computer science Mathematical logic Type theory Dependently typed programming Higher-order functions Append Curry–Howard correspondence Curry Structural induction Software engineering Computing Computer programming
87	2 Typed Compilation Against Non-Manifest Base Classes Christopher League1 and Stefan Monnier2 1 Long Island University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Proof theory Models of computation Logic in computer science Symbol Lambda calculus Curry–Howard correspondence Dynamical system Theoretical computer science Computer science Mathematics
88	Evidence-based Audit, Technical Appendix Jeffrey A. Vaughan Limin Jia Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Parity Parity of a permutation Permutations Curry–Howard correspondence Symbol Model theory Mathematics Proof theory Group theory
89	J-Calc: A typed λ-calculus for Justification Logic K. Pouliasis1 , G. Primiero2 1 Department of Computer Science, Graduate Center, CUNY 2 FWO, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-15 07:37:00 Philosophy of mathematics Logic in computer science Type theory Lambda calculus Mathematical constructivism Curry–Howard correspondence Simply typed lambda calculus Logic Mathematical logic Mathematics Theoretical computer science Computer science
90	A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-08-17 07:51:58 Logic in computer science Proof theory Non-classical logic Philosophical logic Type theory Modal logic Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics